Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

Что (кто) такое linear logic - определение

SYSTEM OF RESOURCE-AWARE LOGIC

Intuitionistic linear logic; ⅋; Linear Logic; ⊸; Linear L; Linear implication

Найдено результатов: 1627

linear logic

<theory> A logic invented by Girard in 1987 that can be used in proofs related to resource usage. http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html. [Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991]. [Summary?] (2003-05-02)

Linear logic

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.

https://en.wikipedia.org/wiki/Linear_logic

Linear temporal logic

FIELD OF MATHEMATICAL LOGIC

Linear Temporal Logic; LTL formula; LTL logic; Linear-time temporal logic; Linear time temporal logic; Propositional temporal logic; LTL (logic)

In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175 (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.

https://en.wikipedia.org/wiki/Linear_temporal_logic

Log-linear model

Log-linear; Log-linear modeling; Loglinear model; Log-Linear model; Log-linear regression; Log-linear models; Log-Linear Models

A log-linear model is a mathematical model that takes the form of a function whose logarithm equals a linear combination of the parameters of the model, which makes it possible to apply (possibly multivariate) linear regression. That is, it has the general form

https://en.wikipedia.org/wiki/Log-linear_model

linear map

$The function f:\R^2 \to \R^2 with f(x, y) = (2x, y) is a linear map. This function scales the x component of a vector by the factor 2.$
$The function f(x, y) = (2x, y) is additive: It doesn't matter whether vectors are first added and then mapped or whether they are mapped and finally added: f(\mathbf a + \mathbf b) = f(\mathbf a) + f(\mathbf b)$
$The function f(x, y) = (2x, y) is homogeneous: It doesn't matter whether a vector is first scaled and then mapped or first mapped and then scaled: f(\lambda \mathbf a) = \lambda f(\mathbf a)$

MAPPING THAT PRESERVES THE OPERATIONS OF ADDITION AND SCALAR MULTIPLICATION

Linear operator; Linear mapping; Linear transformations; Linear operators; Linear transform; Linear maps; Linear isomorphism; Linear isomorphic; Linear Transformation; Linear Transformations; Linear Operator; Homogeneous linear transformation; User:The Uber Ninja/X3; Linear transformation; Bijective linear map; Nonlinear operator; Linear Schrödinger Operator; Vector space homomorphism; Vector space isomorphism; Linear extension of a function; Linear extension (linear algebra); Extend by linearity; Linear endomorphism

<mathematics> (Or "linear transformation") A function from a vector space to a vector space which respects the additive and multiplicative structures of the two: that is, for any two vectors, u, v, in the source vector space and any scalar, k, in the field over which it is a vector space, a linear map f satisfies f(u+kv) = f(u) + kf(v). (1996-09-30)

Linear map

$The function f:\R^2 \to \R^2 with f(x, y) = (2x, y) is a linear map. This function scales the x component of a vector by the factor 2.$
$The function f(x, y) = (2x, y) is additive: It doesn't matter whether vectors are first added and then mapped or whether they are mapped and finally added: f(\mathbf a + \mathbf b) = f(\mathbf a) + f(\mathbf b)$
$The function f(x, y) = (2x, y) is homogeneous: It doesn't matter whether a vector is first scaled and then mapped or first mapped and then scaled: f(\lambda \mathbf a) = \lambda f(\mathbf a)$

MAPPING THAT PRESERVES THE OPERATIONS OF ADDITION AND SCALAR MULTIPLICATION

Linear operator; Linear mapping; Linear transformations; Linear operators; Linear transform; Linear maps; Linear isomorphism; Linear isomorphic; Linear Transformation; Linear Transformations; Linear Operator; Homogeneous linear transformation; User:The Uber Ninja/X3; Linear transformation; Bijective linear map; Nonlinear operator; Linear Schrödinger Operator; Vector space homomorphism; Vector space isomorphism; Linear extension of a function; Linear extension (linear algebra); Extend by linearity; Linear endomorphism

In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism.

https://en.wikipedia.org/wiki/Linear_map

linear transformation

$The function f:\R^2 \to \R^2 with f(x, y) = (2x, y) is a linear map. This function scales the x component of a vector by the factor 2.$
$The function f(x, y) = (2x, y) is additive: It doesn't matter whether vectors are first added and then mapped or whether they are mapped and finally added: f(\mathbf a + \mathbf b) = f(\mathbf a) + f(\mathbf b)$
$The function f(x, y) = (2x, y) is homogeneous: It doesn't matter whether a vector is first scaled and then mapped or first mapped and then scaled: f(\lambda \mathbf a) = \lambda f(\mathbf a)$

MAPPING THAT PRESERVES THE OPERATIONS OF ADDITION AND SCALAR MULTIPLICATION

Linear operator; Linear mapping; Linear transformations; Linear operators; Linear transform; Linear maps; Linear isomorphism; Linear isomorphic; Linear Transformation; Linear Transformations; Linear Operator; Homogeneous linear transformation; User:The Uber Ninja/X3; Linear transformation; Bijective linear map; Nonlinear operator; Linear Schrödinger Operator; Vector space homomorphism; Vector space isomorphism; Linear extension of a function; Linear extension (linear algebra); Extend by linearity; Linear endomorphism

linear map

Mathematical logic

SUBFIELD OF MATHEMATICS

Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory.

https://en.wikipedia.org/wiki/Mathematical_logic

symbolic logic

SUBFIELD OF MATHEMATICS

Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic

¦ noun the use of symbols to denote propositions, terms, and relations in order to assist reasoning.

symbolic logic

SUBFIELD OF MATHEMATICS

Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic

<logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language. (1995-12-24)

Википедия

Linear logic

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.

Linear logic lends itself to many different presentations, explanations, and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", but also a way of manipulating resources that cannot always be duplicated or thrown away at will. In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian (closed) categories by symmetric monoidal (closed) categories, or the interpretation of classical logic by replacing Boolean algebras by C*-algebras.

https://en.wikipedia.org/wiki/Linear logic